841. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009
842. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
843. Semi-automated assessment of programming languages for novice programmers
Author: Buyrukoglu, Selim
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-based assessment ; Novice programmers ; Formative assessment ; Case-based reasoning ; Programming solutions ; Full and partial marking ; Segmented marking
844. Sensitivity Analysis in Linear Systems
Author: by Assem Deif.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering mathematics.,Engineering.
Classification :
QA402
.
B937
1986
845. Sensitivity, Stability and Parametric Analysis
Author: edited by Anthony V. Fiacco.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Mathematical optimization.,Mathematics.
Classification :
QA402
.
5
E358
1984
846. Shader programming
Author: Ron Fosner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.
847. Shapes and Diffeomorphisms
Author: / Laurent Younes.,Younes, Laurent,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Biomathematics.,Calculus of variations.,Computer mathematics.,Computer science,Differential geometry.,Global analysis (Mathematics).,Manifolds (Mathematics).,Statistics.,Mathematics.
Classification :
QA445
.
Y68
2019
848. Signals and systems in biomedical engineering :
Author: Suresh R. Devasahayam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Physiology-- Mathematical models.,Signal processing.,Biomedical engineering.,Physiology-- Mathematical models.,Signal processing.
Classification :
R856
.
D48
2019eb
849. Simulation-Based Experiential Learning
Author: edited by Douglas M. Towne, Ton Jong, Hans Spada.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.
Classification :
LB1029
.
S53
E358
1993
850. Software Prototyping in Data and Knowledge Engineering
Author: by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
851. Software engineer's pocket book
Author: Michael Tooley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Handbooks, manuals, etc.,Computer software -- Development.,Software engineering -- Handbooks, manuals, etc.
852. Software engineering in C
Author: Peter A. Darnell, Philip E. Margolis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language),Programmatuurtechniek.,Software engineering.
Classification :
QA76
.
76
.
D47
P484
1988
853. Software service and application engineering
Author: Maritta Heisel (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Software engineering
Classification :
QA76
.
758
.
S725
2012eb
854. Solving PDEs in C++
Author: \ Yair Shapira.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Differential equations, Partial.,C++ (Computer program language),Object-oriented programming (Computer science),معادلههای دیفرانسیل جزئی
Classification :
QA377
.
S466
2006
E-Book
,
855. :++Solving PDEs in C
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented programming (Computer science) ; - (Computer program language) ; Object++Differential equations, Partial ; C
856. Solving PDEs in C++ :
Author: Yair Shapira
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Differential equations, Partial,Object-oriented programming (Computer science)
Classification :
QA377
.
S466
2006
857. Solving PDEs in C++
Author: / Yair Shapira
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Differential equations, Partial.,C++ (Computer program language),Object-oriented programming (Computer science)
Classification :
QA
,
377
,.
S466
,
2006
858. Some Tapas of Computer Algebra
Author: edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
859. Statistical hypothesis testing with SAS and R /
Author: Dirk Taeger, Institute for Prevention and Occupational Medicine of the German Social Accident Insurance, Institute of the Ruhr-Universität Bochum (IPA), Bochum, Germany, Sonja Kuhnt, Department of Computer Science, Dortmund Univeristy of Applied Sciences and Arts, Dortmund, Germany.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: R (Computer program language),SAS (Computer program language),Statistical hypothesis testing.,Langages de programmation.,Manuels.,MATHEMATICS-- Probability & Statistics-- General.,Modèles mathématiques.,Programmation informatique.,R (Computer program language),SAS (Computer program language),Statistical hypothesis testing.,Tests statistiques.
Classification :
QA277
860. Statistics with Vague Data
Author: by Rudolf Kruse, Klaus Dieter Meyer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Statistics.
Classification :
QA248
.
B978
1987
